(record_char): Don't record identical help-echo
authorGerd Moellmann <gerd@gnu.org>
Tue, 5 Dec 2000 17:03:29 +0000 (17:03 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 5 Dec 2000 17:03:29 +0000 (17:03 +0000)
commit9c09531c2f03d045b0f7d439b6f0a2fdd3c9c4e3
tree63ff58860fd886feb8184d8787f61c6c92e9366b
parent15a1dacc0c8d3a50c1a00be40d0f9bcca356dc8f
(record_char): Don't record identical help-echo
events in recent_keys.
src/keyboard.c